Existem diversas definições alternativas para máquinas de Turing simples. Elas são chamadas de variantes do modelo de máquina de Turing e são equivalentes em poder com o modelo original, isto é, reconhecem a mesma classe de linguagens.
Um tipo de variante de máquina de Turing é denominada enumerador. Um enumerador é, em termos simples, uma máquina de Turing com uma impressora em anexo. A máquina usa esta impressora como um dispositivo de saída para imprimir cadeias. Toda vez que a máquina de Turing quer adicionar uma cadeia à lista, ela envia a cadeia para a impressora.